Motivation

Many Artemis developers work on multiple related repositories simultaneously. To be able to count all those contributions, we want to be able to view leaderboards for a pre-determined list of repositories as well as a combined leaderboard for all repos.

Description

This PR makes it possible to distinguish between repositories for the leaderboard:

• New select-based filter to filter for a specific repository or display all
• Leaderboard endpoint now has optional repository parameter, filtering on SQL-level
• Replaced input propagation for URL params with component-based signals to avoid long propagation chains. Unfortunately, this leads to its Storybook story currently having broken controls.
• New error state whenever the leaderboard has no entries
• Spring-Env for production has been adjusted to fetch the following list of repositories: Artemis, Athena, Hephaestus, Pyris, Ares2, Aeolus, hades, Apollon, Apollon_standalone

Screenshots (if applicable)

Repository filter on desktop screen:

Repository filter on mobile:

Error state (no entries in a leaderboard):

Checklist

General

• PR title is clear and descriptive
• PR description explains the purpose and changes
• Code follows project coding standards
• Self-review of the code has been done
• Changes have been tested locally
• Screenshots have been attached (if applicable)
• Documentation has been updated (if applicable)

Client (if applicable)

• UI changes look good on all screen sizes and browsers
• No console errors or warnings
• User experience and accessibility have been tested
• Added Storybook stories for new components
• Components follow design system guidelines (if applicable)

Server (if applicable)

• Code is performant and follows best practices
• No security vulnerabilities introduced
• Proper error handling has been implemented
• Added tests for new functionality
• Changes have been tested in different environments (if applicable)